justin verlander trade